protocol noProtocolInHeader {
child:
    __delete__();
};
